%natural_number(s(0), 0).
%natural_number(s(s(X)), N) :- natural_number(s(X), S), N is S + 1.


add(U,0,U).
add(X,s(Y),s(Z)) :- add(X,Y,Z).

padres(fred, sally).
padres(tina, sally).
padres(tina, john).
padres(sally, john).
padres(sally, diane).
%padres(sally, pol).
padres(sam, bill).
hermanos(A,B) :- padres(P,A), padres(P,B), A\==B.



cortarLista(I,S1,S2) :- append(S1, S2,  I), sumlist(S1, X), sumlist(S2, Y), abs(X-Y, Z), 
                        not(( append(R1, R2,  I), sumlist(R1, RX), sumlist(R2, RY), abs(RX-RY, RZ), RZ < Z )).
